| Name | Version | Summary | date |
| model-checker |
0.9.31 |
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. |
2025-07-26 19:46:27 |
| vulcan-core |
1.2.0 |
AI-Hybrid Rules Engine for Logical Reasoning. |
2025-07-14 19:45:56 |
| ChemLogic |
0.1.1 |
ChemLogic is a neurosymbolic framework that integrates relational logic syntax with various graph neural network (GNN) architectures to model chemical knowledge. It encodes functional groups and molecular subgraph patterns into a differentiable, explainable architecture, enabling the construction of interpretable and modular GNN-based models for chemical reasoning. |
2025-07-11 19:48:37 |
| pindakaas |
0.1.0 |
Python bindings for the pindakaas crate |
2025-07-09 02:18:40 |
| schemdraw |
0.20 |
Electrical circuit schematic drawing |
2025-03-08 17:42:25 |
| janus-swi |
1.5.2 |
Janus library to call SWI-Prolog |
2025-01-11 13:10:26 |
| smcplaus |
1.1.6 |
A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic |
2025-01-02 01:52:22 |
| dep-logic |
0.4.10 |
Python dependency specifications supporting logical operations |
2024-12-13 11:04:44 |
| aigverse |
0.0.13 |
A Python library for working with logic networks, synthesis, and optimization. |
2024-12-04 15:53:34 |
| pydantic-logic |
1.0.1 |
Description |
2024-11-26 14:57:34 |
| little-atf-programmer |
2024.1019 |
Little ATF150x Programmer Board utility programs |
2024-11-23 10:50:33 |
| ntqr |
0.4.2.3 |
Tools for the logic of evaluation using unlabeled data |
2024-10-31 13:59:07 |
| balg |
0.0.6 |
A boolean algebra toolkit to evaluate expressions, truth tables, and produce logic diagrams |
2024-09-08 18:19:13 |
| pyfuzzymind |
0.1.1 |
A Python library for implementing fuzzy logic systems, including fuzzy sets, fuzzy rules, inference engines, and various defuzzification methods. |
2024-08-08 16:07:59 |
| amr-logic-converter |
0.11.3 |
Convert Abstract Meaning Representation (AMR) into first-order logic |
2024-08-07 22:42:28 |
| lcrl |
0.0.9.2 |
Logically-Constrained Reinforcement Learning |
2024-07-22 22:29:32 |
| veribool |
0.0.0 |
Verify various properties of boolean expressions using a concise DSL. |
2024-07-22 07:32:14 |
| simple-switch |
0.2.0 |
A simple and flexible switch statement implementation for Python. |
2024-05-16 08:34:14 |
| json-criteria |
0.2.0 |
Python library designed for evaluating data against serializable JSON criteria |
2024-04-28 03:40:04 |